Ticket Machines: How Do They Work?